A COST OPTIMISED PROCESS MEAN SET POINT FOR TWO SIDED SPECIFICATIONS
نویسندگان
چکیده
منابع مشابه
Two-sided context specifications in formal grammars
In a recent paper (M. Barash, A. Okhotin, “An extension of context-free grammars with one-sided context specifications”, Inform. Comput., 2014), the authors introduced an extension of the context-free grammars equipped with an operator for referring to the left context of the substring being defined. This paper proposes a more general model, in which context specifications may be two-sided, tha...
متن کاملMeasures and Two Point Set
We investigate the question: under which conditions is a-compact partial two point contained in a two point set? We show that no reasonable measure or capacity (when applied to the set itself) can provide a suucient condition for a compact partial two point set to be extendable to a two point set. On the other hand, we prove that under Martin's Axiom any-compact partial two point set such that ...
متن کاملA Splitting Set Theorem for Epistemic Specifications
Over the past decade a considerable amount of research has been done to expand logic programming languages to handle incomplete information. One such language is the language of epistemic specifications. As is usual with logic programming languages, the problem of answering queries is intractable in the general case. For extended disjunctive logic programs, an idea that has proven useful in sim...
متن کاملA fixed point result for a new class of set-valued contractions
In this paper, we introduce a new class of set-valued contractions and obtain a xed point theoremfor such mappings in complete metric spaces. Our main result generalizes and improves many well-known xed point theorems in the literature.
متن کاملMean-payoff Games and Parametric Tropical Two-sided Systems
We propose a general theory of parametric two-sided tropical linear systems based on the connections with zero-sum deterministic mean-payoff games. It is shown how this general theory specializes to particular tropical linear systems with parameter, arising from 1) the two-sided tropical eigenproblem Ax = λ+Bx and 2) the tropical linear programming. This involves 1) the problem of finding the s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The South African Journal of Industrial Engineering
سال: 2012
ISSN: 2224-7890,1012-277X
DOI: 10.7166/10-1-375